201. Mathematical theory of computation
پدیدآورنده : Manna, Zohar
موضوع : ، Electronic digital computers -- Programming,، Debugging in computer science
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
202. Mathematical theory of computation
المؤلف: Manna, Zohar.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Debugging in computer science
رده :
QA
76
.
6
.
M356
203. Mathematical theory of computation
المؤلف: / Zohar Manna
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Electronic digital computers - Programming,Debugging in computer science
رده :
001
.
6425
M282
204. Mathematics for computer programmers
المؤلف: Kay, Christine Benedyk
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Computer science- Mathematics,، Electronic digital computers- Programming
رده :
QA
76
.
9
.
M35
K38
205. Mathematics of program construction
المؤلف: Ronald Back house Jose Nuno oliveria
المکتبة: (کرمان)
موضوع: Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
206. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
207. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
المؤلف: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
208. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
المؤلف: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
209. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
210. Meta - Levels Architectures and Reflection
المؤلف: Edited by Patie MAES, Daniele NARDI
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)
رده :
QA
،
76
.
7
،.
M48
،
1988
211. Meta-level architectures and reflection
المؤلف: edited by Pattie Maes, Daniel Nardi
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(
رده :
QA
76
.
7
.
M48
1988
212. Microsoft exchange server 2013 PowerShell cookbook
المؤلف: Jonas Andersson, Mike Pfeiffer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Microsoft Windows (Computer file),Operating systems (Computers)-- Programming.,Scripting languages (Computer science),Systems programming (Computer science)
رده :
QA76
.
77
.
A53
2013eb
213. Mule 2 :
المؤلف: Peter Delia, Antoine Borg and Ricston Ltd.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Object-oriented programming (Computer science),COMPUTERS-- Programming-- Object Oriented.,Informatique.,Object-oriented programming (Computer science),Object-oriented programming (Computer science),Object-oriented programming (Computer science),Programmation orientée objets (informatique)
رده :
QA76
.
64
.
D45
2008
214. Multiparadigm constraint programming languages
المؤلف: / Petra Hofstedt
المکتبة: مكتبة حرم كيش الدولي بجامعة طهران (هرمزکان)
موضوع: Constraint programming (Computer science),Programming languages (Electronic computers)
رده :
QA
76
.
612
.
H6
2011
215. Multiparadigm constraint programming languages
المؤلف: Hofstedt, Petra.
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Constraint programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
612
.
H64
2011
216. Multiparadigm constraint programming languages
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Constraint programming (Computer science) ; Programming languages (Electronic computers) ;
217. Multiparadigm constraint programming languages
پدیدآورنده : Petra Hofstedt
موضوع : Constraint programming (Computer science),Programming languages (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
218. Multiparadigm constraint programming languages
المؤلف: / Petra Hofstedt
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Constraint programming (Computer science),Programming languages (Electronic computers)
رده :
QA
,
76
.
612
,.
H64
,
2011
219. Natural language at the computer: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
N38
.
S38
1988
220. Natural language processing recipes :
المؤلف: Akshay Kulkarni, Adarsha Shivananda.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Natural language processing (Computer science),Python (Computer program language),COMPUTERS-- Programming Languages-- Python.,Natural language processing (Computer science),Python (Computer program language)
رده :
QA76
.
73
.
P98
